1

Provably correct runtime monitoring

Year:
2009
Language:
english
File:
PDF, 1.23 MB
english, 2009
2

ConSpec — A formal language for policy specification

Year:
2008
Language:
english
File:
PDF, 716 KB
english, 2008
3

ConSpec – A Formal Language for Policy Specification

Year:
2008
Language:
english
File:
PDF, 404 KB
english, 2008